Filters








85,455 Hits in 7.5 sec

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents

Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini, Marc Herbstritt
2016 International Conference on Logic Programming  
., using answer set programming for asserting the truthfulness of statements made by agents, starting from observations, knowledge about the actions of the agents, and a theory about the "normal" behavior  ...  The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning.  ...  the steps for a concrete realization of the model using Answer Set Programming.  ... 
doi:10.4230/oasics.iclp.2016.8 dblp:conf/iclp/SonPGB16 fatcat:ej7zg2fwr5b5rgjfbw56ohgqjq

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements

Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
The paper describes a concrete implementation that leverages answer set programming for determining the evolution of an agent's "belief state", based on observations, knowledge about the effects of actions  ...  The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning.  ...  The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the sponsoring organizations  ... 
doi:10.24963/kr.2020/8 dblp:conf/kr/BalducciniGPS20 fatcat:vpahhttc6fay7ggbv5eif3bbre

The DLVHEX System

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2018 Künstliche Intelligenz  
Keywords Answer set programming · External source access · Nonmonotonic reasoning Motivation Answer Set Programming (ASP) [1] is a logic programming formalism for knowledge representation and reasoning  ...  However, in many applications, rules are insufficient for representing all reasoning about the domain of interest.  ...  The reasoning part of the agent is implemented using logic programming.  ... 
doi:10.1007/s13218-018-0535-y fatcat:r4cvjqtijvbuhb2pqufomqt5ca

Issues in parallel execution of non-monotonic reasoning systems

Marcello Balduccini, Enrico Pontelli, Omar Elkhatib, Hung Le
2005 Parallel Computing  
[19] -represents the first exploration in the use of scalable architectures for ASP computations ever proposed. 2 Non-monotonic Reasoning and Answer Set Programming Answer Set Semantics Answer Sets  ...  an answer set of the program (e.g., truth of certain selected atoms is not "supported" by the rules in the program).  ... 
doi:10.1016/j.parco.2005.03.004 fatcat:2yu7wipagrbhzffmoxt2km6dgy

Page 6569 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
Such a hierarchy consists of an agent’s beliefs about the state of the world, his beliefs about other agents’ beliefs about the world, his beliefs about other agents’ beliefs about other agents’ beliefs  ...  ing on an automated reasoning program.  ... 

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents [chapter]

Richard Watson, Marina De Vos
2011 Lecture Notes in Computer Science  
In recent years, numerous papers have shown the power and flexibility of answer set programming (ASP) in the modeling of intelligent agents.  ...  This is not surprising since ASP was developed specifically for non-monotonic reasoning -including common-sense reasoning required in agent modeling.  ...  the non-translated program, answer sets of the translated program correspond to possible sets of beliefs of the agent.  ... 
doi:10.1007/978-3-642-20832-4_30 fatcat:7hrhngpsyzfslhim2vm3jbrkda

Knowledge-based Embodied Question Answering [article]

Sinan Tan, Mengmeng Ge, Di Guo, Huaping Liu, Fuchun Sun
2021 arXiv   pre-print
To address this K-EQA problem, a novel framework based on neural program synthesis reasoning is proposed, where the joint reasoning of the external knowledge and 3D scene graph is performed to realize  ...  , in which the agent must know the knowledge such as "knife is used for cutting food".  ...  ACKNOWLEDGMENTS This work was supported in part by the National Natural Science Foundation of China under Grants 62025304.  ... 
arXiv:2109.07872v1 fatcat:jo3xt5ikkbh3vmnm3rfswlmqpm

Computationally Grounded Account of Belief and Awareness for AI Agents

Natasha Alechina, Brian Logan
2010 Multi-Agent Logics, Languages, and Organisations Federated Workshops  
We discuss the problem of designing a computationally grounded logic for reasoning about epistemic attitudes of AI agents, mainly concentrating on beliefs.  ...  We then make a case for syntactic epistemic logics and describe some applications of those logics in verifying AI agents.  ...  We distinguish between beliefs and reasoning abilities which we ascribe to the agent ('the agent's logic') and the logic we use to reason about the agent. In this we follow, e.g., [21, 20, 17] .  ... 
dblp:conf/mallow/AlechinaL10 fatcat:ydjciv2kj5hsxj3sxoscrmodnu

Ray Reiter's Knowledge in Action: A Review

Drew V. McDermott
2003 The AI Magazine  
This fact allows one to use a logic program for the contents of S 0 to answer queries about all later situations.  ...  reasoned about.  ... 
doi:10.1609/aimag.v24i2.1709 dblp:journals/aim/McDermott03 fatcat:vijlzcfl35djpj52z4pubfl2xa

Weighted logics for artificial intelligence – an introductory discussion

Didier Dubois, Lluís Godo, Henri Prade
2014 International Journal of Approximate Reasoning  
lack of information may cause an agent being uncertain about the answer to a question. • The simultaneous presence of inconsistent pieces of information due to too many sources may equally prevent an  ...  Mathematically, the answer is yes as demonstrated by the large set of multiple-valued logics that are now available.  ...  Uncertainty semantics Let us assume an agent is to reason about what the world is and assume that each of the possible states of the world is described by a complete Boolean truth evaluation of a given  ... 
doi:10.1016/j.ijar.2014.08.002 fatcat:hri6ffyszzernoyexdemade37m

VideoNavQA: Bridging the Gap between Visual and Embodied Question Answering [article]

Cătălina Cangea, Eugene Belilovsky, Pietro Liò, Aaron Courville
2019 arXiv   pre-print
Embodied Question Answering (EQA) is a recently proposed task, where an agent is placed in a rich 3D environment and must act based solely on its egocentric input to answer a given question.  ...  The desired outcome is that the agent learns to combine capabilities such as scene understanding, navigation and language understanding in order to perform complex reasoning in the visual world.  ...  Acknowledgements We wish to thank Ankesh Anand and Ethan Perez for the useful discussions over the course of this project.  ... 
arXiv:1908.04950v1 fatcat:v7pqiuv5rjbb7nqna7thv33zp4

Reasoning about the Intentions of Agents [chapter]

Justin Blount, Michael Gelfond
2012 Lecture Notes in Computer Science  
The theory is formulated in the extension of Answer Set Prolog, called CR-Prolog.  ...  In this work the authors formalized the behavior of an agent intending to execute a sequence of actions.  ...  This framework allows to accurately define the notions of plan and diagnosis and reduce planning, diagnostics, and other reasoning tasks of the agent to computing answer sets of logic programs.  ... 
doi:10.1007/978-3-642-29414-3_9 fatcat:nwxjttqkmbgvhfb7ihe24swdw4

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2019 International Conference of the Italian Association for Artificial Intelligence  
In particular, we rely on Answer Set Programming (ASP).  ...  In this extended abstract, we describe a line of research where logic-based knowledge representation and reasoning is used for both representing process and system models in knowledge-intensive domains  ...  Answer Set semantics is used in all cases, and Answer Set solvers are used for performing reasoning, including Bounded Model Checking.  ... 
dblp:conf/aiia/0001MD19 fatcat:5dlqoyvdu5eizjgswoih3q7mcu

Formalizing Informal Logic and Natural Language Deductivism

Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
2021 International Conference on Logic Programming  
We show how the paradigm of answer set programming can be used to formalize all the concepts presented in Holloway and Wasson's primer.  ...  Holloway and Wasson have developed a primer to establish the terms, concepts, principles, and uses of arguments.  ...  Additionally, query-driven answer set programming can be extended with constraints over reals, which allows for reasoning over time to be performed faithfully (i.e., without discretizing time [4, 5] )  ... 
dblp:conf/iclp/GuptaV0CSSE0WAH21 fatcat:6fkzhylmqnaangjrrxo4qorewy

Lies, Bullshit, and Deception in Agent-Oriented Programming Languages

Alison R. Panisson, Stefan Sarkadi, Peter McBurney, Simon Parsons, Rafael H. Bordini
2018 International Joint Conference on Autonomous Agents & Multiagent Systems  
In contrast to other studies on dishonest behaviours of autonomous agents, we use an agentoriented programming language to model dishonest agents' attitudes and to simulate social interactions between  ...  These are dishonest behaviours such as lying, bullshitting, and deceiving that autonomous agents might exhibit by taking advantage of their own reasoning and communicative capabilities.  ...  The second reason is because car dealers do not care if the target agent believes they (the car dealing agents) know the truth about the state of the world (or state of the car in this particular case)  ... 
dblp:conf/atal/PanissonSMPB18 fatcat:f6fezoiu6fdebi7hmlpofjtbvy
« Previous Showing results 1 — 15 out of 85,455 results