Articolul precedent |
Articolul urmator |
732 4 |
Ultima descărcare din IBN: 2023-09-10 08:23 |
SM ISO690:2012 RUSU, Andrei. Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic. In: International Conference on Intelligent Information Systems, 22-23 august 2013, Chișinău. Chișinău: "VALINEX" SRL, 2013, pp. 144-147. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
International Conference on Intelligent Information Systems 2013 | ||||||
Conferința "International Conference on Intelligent Information Systems" Chișinău, Moldova, 22-23 august 2013 | ||||||
|
||||||
Pag. 144-147 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
Artificial Intelligence (AI) systems simulating human behavior are often called intelligent agents. By definition, these intelligent agents exhibit some form of human-like intelligence. Intelligent agents typically represent human cognitive states using underlying beliefs and knowledge modeled in a knowledge representation language, specifically in the context of decision making. In the present paper we investigate some functional properties of the underlying knowledge representation language based on the provability logic. |
||||||
Cuvinte-cheie intelligent agents, modal logic, Provability logic, parametric expressibility of formulas, precomplete classes of formulas) |
||||||
|
Dublin Core Export
<?xml version='1.0' encoding='utf-8'?> <oai_dc:dc xmlns:dc='http://purl.org/dc/elements/1.1/' xmlns:oai_dc='http://www.openarchives.org/OAI/2.0/oai_dc/' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd'> <dc:creator>Rusu, A.G.</dc:creator> <dc:date>2013</dc:date> <dc:description xml:lang='en'><p>Artificial Intelligence (AI) systems simulating human behavior are often called intelligent agents. By definition, these intelligent agents exhibit some form of human-like intelligence. Intelligent agents typically represent human cognitive states using underlying beliefs and knowledge modeled in a knowledge representation language, specifically in the context of decision making. In the present paper we investigate some functional properties of the underlying knowledge representation language based on the provability logic.</p></dc:description> <dc:source>International Conference on Intelligent Information Systems () 144-147</dc:source> <dc:subject>intelligent agents</dc:subject> <dc:subject>modal logic</dc:subject> <dc:subject>Provability logic</dc:subject> <dc:subject>parametric expressibility of formulas</dc:subject> <dc:subject>precomplete classes of formulas)</dc:subject> <dc:title>Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic</dc:title> <dc:type>info:eu-repo/semantics/article</dc:type> </oai_dc:dc>