A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
2016
International Conference on Logic Programming
Preserved Fulltext
., 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
2020
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Parallel Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
[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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2010
Multi-Agent Logics, Languages, and Organisations Federated Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2003
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Conference of the Italian Association for Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2021
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Joint Conference on Autonomous Agents & Multiagent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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