Search Results

The vision of human-machine symbiosis is that a human will work closely and harmoniously with the machine. We study interactions among human translators to help define potential Human-Machine Interface (HCI) and Human-Machine Teaming (HMT) models ...

Governments around the world are increasingly utilising online platforms and social media to engage with, and ascertain the opinions of, their citizens. Whilst policy makers could potentially benefit from such enormous feedback from society, they first ...

In this paper, we present Xart system based on a hybrid method using data mining approaches and syntactic analysis to automatically discover and extract relevant information modeled as n-ary relations from text. A n-ary relation links a studied object ...

We are considering dialogues in natural language where the participants (A and B) are arguing for and against of doing an action D by B. The participants can have similar or opposite communicative goals. If both A and B have the same goal (â B will do ...

We study human-human dialogues in a natural language where the communicative goal of the initiator of dialogue is to bring the partner to a decision to do a certain action. If the partner does not accept the goal then dispute will start. Arguments for ...

In the paper, a model of debate is developed which includes a model of argument. When starting interaction, the participants have opposite communicative goals. They are exchanging arguments and counter-arguments and one of them has finally to abandon ...

In this paper, I address the problem wherein the same English word permits one of its complement positions to be satisfied by phrases of different categories. A well-known example of such an English word is the copula to be, whose complements include ...

Persuasion type argument-negotiation system based on agent can meet needs of cooperation among organization. After introduction of this system, advance in this area has been reviewed from three aspects: protocols、strategies and models、development. Then ...

Starting with Kilian (STOC `92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to construct very efficient argument systems (a.k.a. computationally sound ...

We propose a partial information state-based framework for collaborative dialogue and argument between agents. We employ a three-valued based nonmonotonic logic, NML3, for representing and reasoning about Partial Information States (PIS). NML3 ...

In the prototypical case, arguments (=actants) are directly subordinated to their predicates and occupy positions of the subject and direct or indirect object. Valency slots filled in this way are called active. In non-prototypical cases, arguments can ...

A feature point detection algorithm is presented based on the scale-space theory. The algorithm overcome the drawback that a typical single-scale Harris detector usually leads to either missing significant corner points or detecting false corner points ...

Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-examined, eg for reuse, for safety, for validation, or to satisfy ...

Procurers of critical computer based systems have to assess the suitability of implementations provided by external contractors. What an assessor requires is a clear, comprehensible and defensible argument, with supporting evidence, that a system will ...